#include <stdio.h>
#include "systemc.h"

void LoadInstructions(sc_uint<32> *memory, uint instr_qnt, const char* dumpfile_name)
{
	FILE *pfile = fopen(dumpfile_name,"rb");
	uint buff[instr_qnt];
	fread(buff, 32, instr_qnt, pfile);
	fclose(pfile);
	
	for(int i=0; i<instr_qnt; i++)
		memory[i] = buff[i];
}